- Ableitbarkeit im engeren Sinne
- выводимость в узком смысле
Немецко-русский математический словарь. 2013.
Немецко-русский математический словарь. 2013.
John Locke — (Porträt von Godfrey Kneller, 1697) John Locke [dʒɒn lɒk] (* 29. August 1632 in Wrington bei Bristol; † 28. Oktober 1704 in Oates, Essex) war ein einflussreicher englischer Philosoph und Vordenker der Aufkl … Deutsch Wikipedia
Axiom — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck „Axiom“ wird in drei Grundbedeutungen verwendet. Er bezeichnet einen unmittelbar einleuchtenden Grundsatz, den… … Deutsch Wikipedia
Axiomatik — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… … Deutsch Wikipedia
Axiomatische Theorie — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… … Deutsch Wikipedia
Grundannahme — Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). Der Ausdruck Axiom wird in drei Grundbedeutungen verwendet: Er bezeichnet einen unmittelbar einleuchtenden Grundsatz (klassischer… … Deutsch Wikipedia